General Reversibility
نویسندگان
چکیده
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.
منابع مشابه
Reversibility of general 1D linear cellular automata over the binary field Z2 under null boundary conditions
The reversibility of cellular automata(CA) has long been studied but there are still many problems untouched. This paper tackles the reversibility problem of the general case concerning 1D CA under null boundary conditions defined by linear rules over the binary field Z2. Although transition matrix has been widely used for some special linear CA(LCA) rules, it has severe limitations: its comple...
متن کاملReversibility of a module with respect to the bifunctors Hom and Rej
Let $M_R$ be a non-zero module and ${mathcal F}: sigma[M_R]times sigma[M_R] rightarrow$ Mod-$Bbb{Z}$ a bifunctor. The $mathcal{F}$-reversibility of $M$ is defined by ${mathcal F}(X,Y)=0 Rightarrow {mathcal F}(Y,X)=0$ for all non-zero $X,Y$ in $sigma[M_R]$. Hom (resp. Rej)-reversibility of $M$ is characterized in different ways. Among other things, it is shown th...
متن کاملInvestigation of Reversibility of Asphaltene Precipitation and Deposition for an Iranian Crude Oil
In this work, the precipitation and re-dissolution of asphaltenes were studied for an Iranian relatively heavy crude oil. A series of experiments were designed and carried out to quantitatively examine the reversibility of asphaltenes precipitation upon the change in the solvent concentration along with the temperature. n-Heptane was used as the precipitant, and a temperature range of 30 to...
متن کاملLogical reversibility
A method has been developed for transforming a program written in the probabilistic guarded-command language ( pGCL) into an equivalent but reversible program. The method extends previous work on logical reversibility to that language and pertains to “demonic” nondeterminism and probability. Use is made of a formal definition of logical reversibility and the expectation-transformer semantics fo...
متن کاملReversibility and Irreversibility in Thermostatics
First a general definition of reversibility is given which is in accordance with the mechanical concept of reversibility. This definition is applied to thermostatics. It is shown that the smooth curves in the space of equilibrium parameters can be approximated arbitrarily by irreversible or by almost reversible real processes. The work done during an almost reversible process is given by a Pfaf...
متن کاملImportance of reversibility in the quantum formalism.
In this Letter I stress the role of causal reversibility (time symmetry), together with causality and locality, in the justification of the quantum formalism. First, in the algebraic quantum formalism, I show that the assumption of reversibility implies that the observables of a quantum theory form an abstract real C^{⋆} algebra, and can be represented as an algebra of operators on a real Hilbe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 175 شماره
صفحات -
تاریخ انتشار 2007